On the Semantics of Operation Contracts in Conceptual Modeling
نویسندگان
چکیده
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed. Understanding an operation contract under each of these interpretations can result in different semantics for the same specification. Thus, assuming one or another affects the way operation contracts are specified.
منابع مشابه
Strict and Extended Interpretations of Operation Contracts in Conceptual Modeling
This paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which impacts on the desirable properties of operation contracts according to recommended good practices for requirements specification. Both approaches are formalized and then com...
متن کاملExplain the optimal pattern in the contracts of public private Participation construction, exploitation and transfer (BOT) Applied to Contracts Theory
In recent decade in developing countries, lack of government budget or lack of access to modern technology, persuade governments to attract private sector participation in the economy. One of the most common methods is Public-Private Partnership agreements. The real implementation of this type of partnership needs to set contracts that satisfies preferences of both parties. This research aims t...
متن کاملMeaningfulness of Religious Language in the Light of Conceptual Metaphorical Use of Image Schema: A Cognitive Semantic Approach
According to modern religious studies, religions are rooted in certain metaphorical representations, so they are metaphorical in nature. This article aims to show, first, how conceptual metaphors employ image schemas to make our language meaningful, and then to assert that image-schematic structure of religious expressions, by which religious metaphors conceptualize abstract meanings, is the ba...
متن کاملImpacts of Premium Bounds on the Operation of Put Option and Day-ahead Electricity Markets
In this paper, the impacts of premium bounds of put option contracts on the operation of put option and day-ahead electricity markets are studied. To this end, first a comprehensive equilibrium model for a joint put option and day-ahead markets is presented. Interaction between put option and day-ahead markets, uncertainty in fuel price, impact of premium bounds, and elasticity of con...
متن کاملAdvanced Conceptual Modeling of Web Applications: Embedding Operation Interfaces in Navigation Design
In the last years the integration of operation calls in the context of dynamic, personalized interfaces has become a ’must’ for Web Applications. However, existing conceptual modeling proposals have just tangentially tackled the conceptual definition of its corresponding operation interfaces, which many times involve concepts far more complex than those related to text field input. This paper p...
متن کامل